page 43, table 3.5
Add an entry for
\notin
(
).
[First reported by Rosemary Bailey on 29 Aug 94.]
).
[First reported by Rosemary Bailey on 29 Aug 94.]